\begin{tabbing}
component{-}output{-}disjoint\=\{i:l\}\+
\\[0ex](${\it ds}$; ${\it da}$; $T_{1}$; $T_{2}$; $C_{1}$; $C_{2}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$\forall$$X_{1}$:Interface(${\it ds}$;${\it da}$;$T_{1}$), $X_{2}$:Interface(${\it ds}$;${\it da}$;$T_{2}$), ${\it es}$:ES\{i\}.\+
\\[0ex]es{-}decl(${\it es}$;${\it ds}$;${\it da}$)
\\[0ex]$\Rightarrow$ es{-}interface{-}disjoint(${\it es}$;abs{-}interface(${\it es}$;($C_{1}$($X_{1}$)).2);abs{-}interface(${\it es}$;(\=$C_{2}$\+
\\[0ex]($X_{2}$)).2))
\-\-
\end{tabbing}